221. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
Author: edited by P. Dembinski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
88
222. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
Author: edited by A. Mazurkiewicz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
45
223. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
Author: edited by J. Gruska and M. Chytil
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
118
224. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
M37
225. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranska'Lomnica September 5-9, 1977
Author: edited by J. Gruska
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
53
226. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
227. Mathematical foundations of computer science : symposium at ..
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
45
,
etc
...
228. Mathematical foundations of computer science : symposium at ..
Author: A. Kreczmar, G. Mirkowska )Eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
379
229. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
Author: A. Tarlecki )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
520
230. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
Author: / Edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Sequential machine theory -- Congresses,Formal languages -- Congresses
Classification :
QA
267
.
5
.
S4
S89
1975
231. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
Author: Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Sequaential machine theory - Congresses,، Formal languages - Congresses
Classification :
QA
267
.
5
.
S4S89
1975
232. Mathematical foundations of programming /
Author: Frank S. Beckman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages,Logic, Symbolic and mathematical,Machine theory
Classification :
QA9
.
B36
233. Mathematical foundations of programming
Author: Beckman, Frank S.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Machine theory,، Formal languages
Classification :
QA
9
.
B36
234. Picture languages
Author: / Azriel Rosenfeld
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory,Optical pattern recognition,Formal languages
Classification :
QA
267
.
R67
235. Problem solving in automata, languages, and complexity
Author: Du, Dingzhu
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Formal languages,، Computational complexity
Classification :
QA
267
.
D8
2001
236. Programs, machines, and computation : an introduction to the theory of computing
Author: Clark, Keith L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
C54
237. Rational series and their languages
Author: Berstel, Jean
Library: Central Library and Documentation Center (Kerman)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4
B47
1988
238. Rational series and their languages
Author: / Jean Berstel, Christophe Reutenauer
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Sequential machine theory,Formal languages,Power series
Classification :
QA267
.
5
.
S4
,
B4713
1988
239. Rational series and their languages
Author: Jean Berstel, Christophe Reutenauer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4B4713
1988
240. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
Author: edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
182
.
S443
1996
